Final Report: Development of a Practical Computer Software Verication System

Developing Reliable yet Flexible Software through If-Then Model Transformation Rules

Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...

Pharmacy Students’ Attitude in Tabriz University of Medical Sciences toward Using Computerized Simulations in Teaching

Introduction::Using computerized simulation is one of the new methods in medical education. However, there is no report on applying this technique for teaching pharmacology in Iran. This study was conducted to assess the attitude of pharmacy students toward using this method in the teaching of practical pharmacology. Methods: This descriptive–cross sectional study was performed on pharmacy stu...

New Dynamic Balancing System Based on Magnetic Interaction and Software Removal of some Perturbations

The purpose of this paper is to present a new type of dynamic balancing system, having a driving solution of the rotating part based on magnetic interactions. The magnetic system also plays the role of an elastic bearing. In the first part of the article is presented the technical solution which allows the dynamic balancing evaluation depending on the radial displacement between two disks with ...

Addendum to the \final Report for the Investigation of Proof Techniques within the Eves Verication Technology"

Risk Analysis in E-commerce via Fuzzy Logic

This paper describes the development of a fuzzy decision support system (FDSS) for the assessment of risk in E-commerce (EC) development. A Web-based prototype FDSS is suggested to assist EC project managers in identifying potential EC risk factors and the corresponding project risks. A risk analysis model for EC development using a fuzzy set approach is proposed and incorporated into the FDSS....